🏗️ Calculus of Constructions - abnv · Scour

Revisiting Regular Types

abseil.io·8h

🚀Hindley-Milner+

Build a Compiler in Five Projects

kmicinski.com·20h

🎭Racket Modules

Pratt Parsers: Expression Parsing Made Easy

journal.stuffwithstuff.com·12h

📊Pratt Parsers

Let Lambda Come Over

yamlscript.org·1d

λLambda Calculus

How I Built My Project in Haskell

dev.to·6h·

Discuss: DEV

🌱Minimal Languages

My Most Important C++ Aha! Moments...Ever

artima.com·8h

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set

arxiv.org·2d

🔒Rust Borrowing

A Neighborhood of Infinity: You Could Have Invented Monads! (And Maybe You Already Have.)

blog.sigfpe.com·1d

🧩Monadic Parsing

First Proof | Research-Level Math for AI Evaluation

1stproof.org·1d·

Discuss: Hacker News

🧩Constraint Solvers

Railway Oriented Programming

fsharpforfunandprofit.com·1d·

Discuss: Hacker News

🚂Error Monads

Looking at binary trees in C++

meetingcpp.com·8h

🤐Zipper Structures

Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture

jonmsterling.com·15h·

Discuss: Hacker News, r/Compilers

Oatmeal - Constraint propagation for fun

eli.li·3h

🧩Constraint Solvers

Portable C Compiler

en.wikipedia.org·6h·

Discuss: Hacker News

📦Portable Bytecode

C++20 span tutorial

solarianprogrammer.com·8h

🏷️Symbol Mangling

en.wikipedia.org·1d·

Discuss: Hacker News

🎭Polymorphic Variants

Agentic Proof-Oriented Programming

risemsr.github.io·2d·

Discuss: Lobsters, Hacker News

*META‑Discover: An Automated Knowledge‑Graph‑Driven Pipeline for Emergent Topological Invariants in High‑Dimensional Random Simplicial Complexes*

freederia.com·1d

🪢Rope Data Structures

Coroutine Types

abseil.io·8h

Rebuilding the spellchecker

zverok.space·11h

⚡Tokenizer Benchmarks

Loading more...